例句與造句

1. After summarizing the methods and techniques of efsm - based testing , this paper focuses on the problems of oracle and automatic test sequences generation from uml state diagrams . to deal with the problem of state oracle , the state invariant is introduced to identify state . with the purpose of shortening the length of the test sequences and trimming the redundant test sequences , the algorithm of generating test sequences , which satisfy the coverage metric , is amended
   本文在總結(jié)類的基于狀態(tài)測試的理論基礎(chǔ)、現(xiàn)有的測試用例生成方法的基礎(chǔ)上，結(jié)合uml的狀態(tài)圖，對測試用例自動生成進(jìn)行了研究，重點放在狀態(tài)預(yù)測、消息序列生成上：對狀態(tài)的預(yù)測引入了狀態(tài)不變量；生成測試消息序列時對算法進(jìn)行優(yōu)化，以生成路徑盡可能短的符合覆蓋標(biāo)準(zhǔn)的測試消息序列。
2. It's difficult to find state invariant in a sentence. 用state invariant造句挺難的